Brun, Yuriy: шукати на сайті Z-Library

Proceedings of the ACM on Programming Languages

Рік:

2017

Мова:

english

Файл:

PDF, 205 KB

english, 2017

Formal foundations of serverless computing

Jangda, Abhinav, Pinckney, Donald, Brun, Yuriy, Guha, Arjun

Журнал:

Рік:

2019

Мова:

english

Файл:

PDF, 540 KB

english, 2019

Solving satisfiability in the tile assembly model with a constant-size tileset

Журнал:

Journal of Algorithms

Рік:

2008

Мова:

english

Файл:

PDF, 1.72 MB

english, 2008

Solving NP-complete problems in the tile assembly model

Журнал:

Yuriy Brun, Dustin Reishus

Рік:

2008

Мова:

english

Файл:

PDF, 1.97 MB

english, 2008

Path finding in the tile assembly model

Журнал:

Journal of Systems and Software

Рік:

2009

Мова:

english

Файл:

PDF, 1.01 MB

english, 2009

An architecture-driven software mobility framework

Sam Malek, George Edwards, Yuriy Brun, Hossein Tajalli, Joshua Garcia, Ivo Krka, Nenad Medvidovic, Marija Mikic-Rakic, Gaurav S. Sukhatme

Журнал:

Рік:

2010

Мова:

english

Файл:

PDF, 905 KB

english, 2010

Arithmetic computation in the tile assembly model: Addition and multiplication

Журнал:

Рік:

2007

Мова:

english

Файл:

PDF, 1.02 MB

english, 2007

Nondeterministic polynomial time factoring in the tile assembly model

Журнал:

Рік:

2008

Мова:

english

Файл:

PDF, 3.16 MB

english, 2008

Efficient 3-SATalgorithms in the tile assembly model

Журнал:

Natural Computing

Рік:

2012

Мова:

english

Файл:

PDF, 1.07 MB

english, 2012

[IEEE 2012 IEEE 5th International Conference on Cloud Computing (CLOUD) - Honolulu, HI, USA (2012.06.24-2012.06.29)] 2012 IEEE Fifth International Conference on Cloud Computing - Keeping Data Private while Computing in the Cloud

Reishus, Dustin, Shaw, Bilal, Brun, Yuriy, Chelyapov, Nickolas, Adleman, Leonard

Рік:

2012

Мова:

english

Файл:

PDF, 561 KB

english, 2012

Self-Assembly of DNA Double-Double Crossover Complexes into High-Density, Doubly Connected, Planar Structures

Журнал:

Journal of the American Chemical Society

Рік:

2005

Мова:

english

Файл:

PDF, 416 KB

english, 2005

[IEEE International Workshop on Software Engineering for Adaptive and Self-Managing Systems - Minneapolis, MN, USA (2007.05.20-2007.05.26)] International Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS '07) - An Architectural Style for Solving Computationally Intensive Problems on Large Networks

Edwards, George, Brun, Yuriy, Medvidovic, Nenad

Рік:

2007

Мова:

english

Файл:

PDF, 2.46 MB

english, 2007

[IEEE 29th International Conference on Software Engineering - Minneapolis, MN, USA (2007.05.20-2007.05.26)] 29th International Conference on Software Engineering (ICSE'07 Companion) - A Discreet, Fault-Tolerant, and Scalable Software Architectural Style for Internet-Sized Networks

Brun, Yuriy

Рік:

2007

Мова:

english

Файл:

PDF, 601 KB

english, 2007

[IEEE 2012 Joint Working IEEE/IFIP Conference on Software Architecture (WICSA) & European Conference on Software Architecture (ECSA) - Helsinki, Finland (2012.08.20-2012.08.24)] 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture - Automated Analysis and Code Generation for Domain-Specific Models

Рік:

2012

Мова:

english

Файл:

PDF, 467 KB

english, 2012

Early Detection of Collaboration Conflicts and Risks

Brun, Yuriy, Holmes, Reid, Ernst, Michael D., Notkin, David

Журнал:

Edwards, George, Brun, Yuriy, Medvidovic, Nenad

Рік:

2013

Мова:

english

Файл:

PDF, 1.66 MB

english, 2013

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - Isomorphism in model tools and editors

Рік:

2011

Мова:

english

Файл:

PDF, 470 KB

english, 2011

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Understanding regression failures through test-passing and test-failing code changes

Sukkerd, Roykrong, Beschastnikh, Ivan, Wuttke, Jochen, Zhang, Sai, Brun, Yuriy

Рік:

2013

Мова:

english

Файл:

PDF, 449 KB

english, 2013

[IEEE 2013 5th International Workshop on Software Engineering in Health Care (SEHC) - San Francisco, CA, USA (2013.05.20-2013.05.21)] 2013 5th International Workshop on Software Engineering in Health Care (SEHC) - Resource scheduling through resource-aware simulation of emergency departments

Shin, Seung Yeob, Balasubramanian, Hari, Brun, Yuriy, Henneman, Philip L., Osterweil, Leon J.

Рік:

2013

Мова:

english

Файл:

PDF, 476 KB

english, 2013

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Unifying FSM-inference algorithms through declarative specification

Beschastnikh, Ivan, Brun, Yuriy, Abrahamson, Jenny, Ernst, Michael D., Krishnamurthy, Arvind

Рік:

2013

Мова:

english

Файл:

PDF, 790 KB

english, 2013

[IEEE 2012 34th International Conference on Software Engineering (ICSE) - Zurich, Switzerland (2012.06.2-2012.06.9)] 2012 34th International Conference on Software Engineering (ICSE) - Improving IDE recommendations by considering global implications of existing recommendations

Muslu, Kivanc, Brun, Yuriy, Holmes, Reid, Ernst, Michael D., Notkin, David

Рік:

2012

Мова:

english

Файл:

PDF, 182 KB

english, 2012

[IEEE 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Zurich, Switzerland (2012.06.4-2012.06.5)] 2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Traffic routing for evaluating self-adaptation

Wuttke, Jochen, Brun, Yuriy, Gorla, Alessandra, Ramaswamy, Jonathan

Рік:

2012

Мова:

english

Файл:

PDF, 266 KB

english, 2012

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - From system specifications to component behavioral models

Krka, Ivo, Edwards, George, Brun, Yuriy, Medvidovic, Nenad

Рік:

2009

Мова:

english

Файл:

PDF, 99 KB

english, 2009

[IEEE 2011 31st International Conference on Distributed Computing Systems (ICDCS) - Minneapolis, MN, USA (2011.06.20-2011.06.24)] 2011 31st International Conference on Distributed Computing Systems - Smart Redundancy for Distributed Computation

Brun, Yuriy, Edwards, George, Bang, Jae Young, Medvidovic, Nenad

Рік:

2011

Мова:

english

Файл:

PDF, 274 KB

english, 2011

Self-Adapting Reliability in Distributed Software Systems

Brun, Yuriy, Bang, Jae young, Edwards, George, Medvidovic, Nenad

Журнал:

Beschastnikh, Ivan, Brun, Yuriy, Abrahamson, Jenny, Ernst, Michael D., Krishnamurthy, Arvind

Рік:

2015

Мова:

english

Файл:

PDF, 1.06 MB

english, 2015

Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms

Журнал:

Рік:

2015

Мова:

english

Файл:

PDF, 1.97 MB

english, 2015

[ACM Press the 2007 workshop - Dubrovnik, Croatia (2007.09.04-2007.09.04)] Proceedings of the 2007 workshop on Engineering fault tolerant systems - EFTS '07 - Fault and adversary tolerance as an emergent property of distributed systems' software architectures

Muşlu, Kıvanç, Brun, Yuriy, Meliou, Alexandra

Рік:

2007

Мова:

english

Файл:

PDF, 142 KB

english, 2007

[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - Data debugging with continuous testing

Рік:

2013

Мова:

english

Файл:

PDF, 210 KB

english, 2013

[ACM Press the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering - Amsterdam, The Netherlands (2009.08.24-2009.08.28)] Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium - ESEC/FSE '09 - Synthesizing partial component-level behavior models from system specifications

Krka, Ivo, Brun, Yuriy, Edwards, George, Medvidovic, Nenad

Рік:

2009

Мова:

english

Файл:

PDF, 667 KB

english, 2009

[ACM Press the 2015 International Symposium - Baltimore, MD, USA (2015.07.13-2015.07.17)] Proceedings of the 2015 International Symposium on Software Testing and Analysis - ISSTA 2015 - Preventing data errors with continuous testing

Muşlu, Kıvanç, Brun, Yuriy, Meliou, Alexandra

Рік:

2015

Мова:

english

Файл:

PDF, 465 KB

english, 2015

[ACM Press the 29th ACM/IEEE international conference - Vasteras, Sweden (2014.09.15-2014.09.19)] Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14 - Behavioral resource-aware model inference

Ohmann, Tony, Herzberg, Michael, Fiss, Sebastian, Halbert, Armand, Palyart, Marc, Beschastnikh, Ivan, Brun, Yuriy

Рік:

2014

Мова:

english

Файл:

PDF, 672 KB

english, 2014

[ACM Press the 19th ACM SIGSOFT symposium and the 13th European conference - Szeged, Hungary (2011.09.05-2011.09.09)] Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11 - Proactive detection of collaboration conflicts

Brun, Yuriy, Holmes, Reid, Ernst, Michael D., Notkin, David

Рік:

2011

Мова:

english

Файл:

PDF, 1.29 MB

english, 2011

[ACM Press the 19th ACM SIGSOFT symposium and the 13th European conference - Szeged, Hungary (2011.09.05-2011.09.09)] Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11 - Leveraging existing instrumentation to automatically infer invariant-constrained models

Beschastnikh, Ivan, Brun, Yuriy, Schneider, Sigurd, Sloan, Michael, Ernst, Michael D.

Рік:

2011

Мова:

english

Файл:

PDF, 665 KB

english, 2011

[ACM Press the ACM international conference - Tucson, Arizona, USA (2012.10.19-2012.10.26)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12 - Speculative analysis of integrated development environment recommendations

Muûlu, Kıvanç, Brun, Yuriy, Holmes, Reid, Ernst, Michael D., Notkin, David

Рік:

2012

Мова:

english

Файл:

PDF, 1.09 MB

english, 2012

[ACM Press the 2013 9th Joint Meeting - Saint Petersburg, Russia (2013.08.18-2013.08.26)] Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013 - Making offline analyses continuous

Muşlu, Kıvanç, Brun, Yuriy, Ernst, Michael D., Notkin, David

Рік:

2013

Мова:

english

Файл:

PDF, 485 KB

english, 2013

[ACM Press the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the 36th International Conference on Software Engineering - ICSE 2014 - Inferring models of concurrent systems from logs of their behavior with CSight

Beschastnikh, Ivan, Brun, Yuriy, Ernst, Michael D., Krishnamurthy, Arvind

Рік:

2014

Мова:

english

Файл:

PDF, 650 KB

english, 2014

[ACM Press Companion the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 - Mining precise performance-aware behavioral models from existing instrumentation

Ohmann, Tony, Thai, Kevin, Beschastnikh, Ivan, Brun, Yuriy

Рік:

2014

Мова:

english

Файл:

PDF, 269 KB

english, 2014

[ACM Press Companion the 36th International Conference - Hyderabad, India (2014.05.31-2014.06.07)] Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 - Shedding light on distributed system executions

Abrahamson, Jenny, Beschastnikh, Ivan, Brun, Yuriy, Ernst, Michael D.

Рік:

2014

Мова:

english

Файл:

PDF, 293 KB

english, 2014

[ACM Press the 22nd ACM SIGSOFT International Symposium - Hong Kong, China (2014.11.16-2014.11.21)] Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014 - The plastic surgery hypothesis

Barr, Earl T., Brun, Yuriy, Devanbu, Premkumar, Harman, Mark, Sarro, Federica

Рік:

2014

Мова:

english

Файл:

PDF, 931 KB

english, 2014

[ACM Press the 2010 ICSE Workshop - Cape Town, South Africa (2010.05.03-2010.05.04)] Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems - SEAMS '10 - Improving impact of self-adaptation and self-management research through evaluation methodology

Brun, Yuriy

Рік:

2010

Мова:

english

Файл:

PDF, 199 KB

english, 2010

[ACM Press the FSE/SDP workshop - Santa Fe, New Mexico, USA (2010.11.07-2010.11.08)] Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10 - Speculative analysis

Brun, Yuriy, Holmes, Reid, Ernst, Michael D., Notkin, David

Рік:

2010

Мова:

english

Файл:

PDF, 801 KB

english, 2010

[ACM Press the 2009 workshop - Barcelona, Spain (2009.06.19-2009.06.19)] Proceedings of the 2009 workshop on Bio-inspired algorithms for distributed systems - BADS '09 - Crystal-growth-inspired algorithms for computational grids

Muslu, Kivanc, Brun, Yuriy, Ernst, Michael D., Notkin, David

Рік:

2009

Мова:

english

Файл:

PDF, 654 KB

english, 2009

[ACM Press the 32nd ACM/IEEE International Conference - Cape Town, South Africa (2010.05.01-2010.05.08)] Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10 - Using dynamic execution traces and program invariants to enhance behavioral model inference

Krka, Ivo, Brun, Yuriy, Popescu, Daniel, Garcia, Joshua, Medvidovic, Nenad

Рік:

2010

Мова:

english

Файл:

PDF, 132 KB

english, 2010

Reducing Feedback Delay of Software Development Tools via Continuous Analysis

Журнал:

Beschastnikh, Ivan, Brun, Yuriy, Ernst, Michael D., Krishnamurthy, Arvind, Anderson, Thomas E.

Рік:

2015

Мова:

english

Файл:

PDF, 2.00 MB

english, 2015

[ACM Press the 19th ACM SIGSOFT symposium and the 13th European conference - Szeged, Hungary (2011.09.05-2011.09.09)] Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11 - Crystal

Brun, Yuriy, Holmes, Reid, Ernst, Michael D., Notkin, David

Рік:

2011

Мова:

english

Файл:

PDF, 1.05 MB

english, 2011

[ACM Press Managing Large-scale Systems via the Analysis of System Logs and the Application of Machine Learning Techniques - Cascais, Portugal (2011.10.23-2011.10.26)] Managing Large-scale Systems via the Analysis of System Logs and the Application of Machine Learning Techniques on - SLAML '11 - Mining temporal invariants from partially ordered logs

Рік:

2011

Мова:

english

Файл:

PDF, 689 KB

english, 2011

[ACM Press the 22nd ACM SIGSOFT International Symposium - Hong Kong, China (2014.11.16-2014.11.21)] Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014 - Automatic mining of specifications from invocation traces and method invariants

Krka, Ivo, Brun, Yuriy, Medvidovic, Nenad

Рік:

2014

Мова:

english

Файл:

PDF, 282 KB

english, 2014

[ACM Press the 19th ACM SIGSOFT symposium and the 13th European conference - Szeged, Hungary (2011.09.05-2011.09.09)] Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11 - Synoptic

Beschastnikh, Ivan, Abrahamson, Jenny, Brun, Yuriy, Ernst, Michael D.

Рік:

2011

Мова:

english

Файл:

PDF, 532 KB

english, 2011

The ManyBugs and IntroClass Benchmarks for Automated Repair of C Programs

Le Goues, Claire, Holtschulte, Neal, Smith, Edward K., Brun, Yuriy, Devanbu, Premkumar, Forrest, Stephanie, Weimer, Westley

Журнал: